Check-Arg-Type names a macro, with lambda list (ARG TYPE &OPTIONAL NAME):
Ensure that ARG is of type TYPE, which is called NAME. Signals back to an HTTP client with a 400 error if this assertion is untrue.
This is basically just CHECK-TYPE for arguments passed by the user.
Defined in file src/web.lisp.